@rising(#a1) --> [[]]5 (#a0) 
